1

"Strange and free"—On Some Aspects of the Nature of Elves and Men

Year:
2010
Language:
english
File:
PDF, 340 KB
english, 2010
2

Simple and rapid determination of carrier concentration and mobility profiles in GaAs

Year:
1981
Language:
english
File:
PDF, 311 KB
english, 1981
4

Proposition algebra

Year:
2011
Language:
english
File:
PDF, 301 KB
english, 2011
6

Kleene's three-valued logic and process algebra

Year:
1998
Language:
english
File:
PDF, 654 KB
english, 1998
7

Process algebra with guards: Combining Hoare logic with process algebra

Year:
1994
Language:
english
File:
PDF, 2.39 MB
english, 1994
12

Synchrotron lithography for sub-half-micron T-Gates in GAAS-FET

Year:
1986
Language:
english
File:
PDF, 457 KB
english, 1986
13

Execution architectures for program algebra

Year:
2007
Language:
english
File:
PDF, 287 KB
english, 2007
14

Belnap’s logic and conditional composition

Year:
2007
Language:
english
File:
PDF, 351 KB
english, 2007
16

Equivalence of recursive specifications in process algebra

Year:
2001
Language:
english
File:
PDF, 96 KB
english, 2001
17

Process algebra and conditional composition

Year:
2001
Language:
english
File:
PDF, 118 KB
english, 2001
18

Medium-power GaAs bipolar transistors

Year:
1982
Language:
english
File:
PDF, 4.35 MB
english, 1982
19

Grid protocols based on synchronous communication

Year:
1997
Language:
english
File:
PDF, 1.93 MB
english, 1997
20

Non-regular iterators in process algebra

Year:
2001
Language:
english
File:
PDF, 243 KB
english, 2001
21

Branching time and orthogonal bisimulation equivalence

Year:
2003
Language:
english
File:
PDF, 609 KB
english, 2003
22

Two finite specifications of a queue

Year:
1997
Language:
english
File:
PDF, 1.22 MB
english, 1997
23

Preface

Year:
1997
Language:
english
File:
PDF, 110 KB
english, 1997
24

Computable processes and bisimulation equivalence

Year:
1996
Language:
english
File:
PDF, 1.61 MB
english, 1996
25

Editorial

Year:
1994
Language:
english
File:
PDF, 101 KB
english, 1994
26

Risk Assessment for One-Counter Threads

Year:
2008
Language:
english
File:
PDF, 467 KB
english, 2008
27

Decision problems for pushdown threads

Year:
2007
Language:
english
File:
PDF, 318 KB
english, 2007
28

A Generalization of ACP Using Belnap's Logic

Year:
2006
Language:
english
File:
PDF, 214 KB
english, 2006
30

Nouveaux livres

Year:
1948
Language:
german
File:
PDF, 450 KB
german, 1948
32

A generalization of ACP using Belnap’s logic

Year:
2007
Language:
english
File:
PDF, 207 KB
english, 2007
33

Combining programs and state machines

Year:
2002
Language:
english
File:
PDF, 148 KB
english, 2002
34

Linearization in parallel pCRL

Year:
2001
Language:
english
File:
PDF, 294 KB
english, 2001
35

Program algebra with unit instruction operators

Year:
2002
Language:
english
File:
PDF, 180 KB
english, 2002
39

Inhibition study of ADP,ATP transport in mitochondria with trinitrophenyl-modified substrates

Year:
1983
Language:
english
File:
PDF, 416 KB
english, 1983
40

Bosentan in mild pulmonary hypertension

Year:
2008
Language:
english
File:
PDF, 68 KB
english, 2008
41

Ouderenzorg in praktijk gebracht

Year:
2012
Language:
dutch
File:
PDF, 183 KB
dutch, 2012
43

Process algebra with four-valued logic

Year:
2000
Language:
english
File:
PDF, 1.06 MB
english, 2000
46

Equations for formally real meadows

Year:
2015
Language:
english
File:
PDF, 435 KB
english, 2015
47

Secrecy in the Lesbian World

Year:
1976
Language:
english
File:
PDF, 1.24 MB
english, 1976
48

Register-machine based processes

Year:
2001
Language:
english
File:
PDF, 358 KB
english, 2001
50

Dual-gate m.e.s.f.e.t. self-oscillating X-band mixers

Year:
1979
Language:
english
File:
PDF, 365 KB
english, 1979